Search results for "integration by parts"
showing 10 items of 12 documents
A novel approach to integration by parts reduction
2015
Integration by parts reduction is a standard component of most modern multi-loop calculations in quantum field theory. We present a novel strategy constructed to overcome the limitations of currently available reduction programs based on Laporta's algorithm. The key idea is to construct algebraic identities from numerical samples obtained from reductions over finite fields. We expect the method to be highly amenable to parallelization, show a low memory footprint during the reduction step, and allow for significantly better run-times.
Integration by parts on generalized manifolds and applications on quasiregular maps
2016
Integral Reduction with Kira 2.0 and Finite Field Methods
2021
We present the new version 2.0 of the Feynman integral reduction program Kira and describe the new features. The primary new feature is the reconstruction of the final coefficients in integration-by-parts reductions by means of finite field methods with the help of FireFly. This procedure can be parallelized on computer clusters with MPI. Furthermore, the support for user-provided systems of equations has been significantly improved. This mode provides the flexibility to integrate Kira into projects that employ specialized reduction formulas, direct reduction of amplitudes, or to problems involving linear system of equations not limited to relations among standard Feynman integrals. We show…
Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections
2018
We present the powerful module-intersection integration-by-parts (IBP) method, suitable for multi-loop and multi-scale Feynman integral reduction. Utilizing modern computational algebraic geometry techniques, this new method successfully trims traditional IBP systems dramatically to much simpler integral-relation systems on unitarity cuts. We demonstrate the power of this method by explicitly carrying out the complete analytic reduction of two-loop five-point non-planar hexagon-box integrals, with degree-four numerators, to a basis of 73 master integrals.
A quasi-finite basis for multi-loop Feynman integrals
2014
We present a new method for the decomposition of multi-loop Euclidean Feynman integrals into quasi-finite Feynman integrals. These are defined in shifted dimensions with higher powers of the propagators, make explicit both infrared and ultraviolet divergences, and allow for an immediate and trivial expansion in the parameter of dimensional regularization. Our approach avoids the introduction of spurious structures and thereby leaves integrals particularly accessible to direct analytical integration techniques. Alternatively, the resulting convergent Feynman parameter integrals may be evaluated numerically. Our approach is guided by previous work by the second author but overcomes practical …
Integration by parts for heat measures over loop groups
1999
Abstract The formula of integration by parts for heat measures over a loop group established by B. Driver is revesited through an alternative approach to this result. We shall first establish directly the integration by parts formula over an unimodular Lie group (which will be the finite product of a compact Lie group with a correlated metric), using the concept of tangent processes. A new expression for Ricci tensor will enable us the passage to the limit.
Analysis on free Riemannian path spaces
2005
Abstract The gradient operator is defined on the free path space with reference measure P μ , the law of the Brownian motion on the base manifold with initial distribution μ, where μ has strictly positive density w.r.t. the volume measure. The formula of integration by parts is established for the underlying directional derivatives, which implies the closability of the gradient operator so that it induces a conservative Dirichlet form on the free path space. The log-Sobolev inequality for this Dirichlet form is established and, consequently, the transportation cost inequality is obtained for the associated intrinsic distance.
Tree-Loop Duality Relation beyond simple poles
2013
We develop the Tree-Loop Duality Relation for two- and three-loop integrals with multiple identical propagators (multiple poles). This is the extension of the Duality Relation for single poles and multi-loop integrals derived in previous publications. We prove a generalization of the formula for single poles to multiple poles and we develop a strategy for dealing with higher-order pole integrals by reducing them to single pole integrals using Integration By Parts.
Feynman diagrams as a weight system: four-loop test of a four-term relation
1996
At four loops there first occurs a test of the four-term relation derived by the second author in the course of investigating whether counterterms from subdivergence-free diagrams form a weight system. This test relates counterterms in a four-dimensional field theory with Yukawa and $\phi^4$ interactions, where no such relation was previously suspected. Using integration by parts, we reduce each counterterm to massless two-loop two-point integrals. The four-term relation is verified, with $ = 0 - 3\zeta_3 + 6\zeta_3 - 3\zeta_3 = 0$, demonstrating non-trivial cancellation of the trefoil knot and thus supporting the emerging connection between knots and counterterms, via transcendental number…
Complete sets of logarithmic vector fields for integration-by-parts identities of Feynman integrals
2018
Integration-by-parts identities between loop integrals arise from the vanishing integration of total derivatives in dimensional regularization. Generic choices of total derivatives in the Baikov or parametric representations lead to identities which involve dimension shifts. These dimension shifts can be avoided by imposing a certain constraint on the total derivatives. The solutions of this constraint turn out to be a specific type of syzygies which correspond to logarithmic vector fields along the Gram determinant formed of the independent external and loop momenta. We present an explicit generating set of solutions in Baikov representation, valid for any number of loops and external mome…